1
فلسفه::
منطق شهودی
Intuitionist logic lacks the familiarity, the convenience, the simplicity, and the beauty of our logic.
Like the logic of Birkhoff and von Neumann, intuitionist logic lacks the transparency even of a many-valued truth-functional logic.
One does as well to bypass these explanations and go straight to Heyting's axiomatization of intuitionistic logic, thus learning the logic by what language teachers call direct method rather than by translation.
But one can practice and even preach a very considerable degree of constructivism without adopting intuitionist logic.
The literature contains developments not only of quantified intuitionist logic, but of quantified many-
واژگان شبکه مترجمین ایران